Semipredicate problem